Transitional Monitoring of Dynamic Integrity Constraints
نویسندگان
چکیده
منابع مشابه
Transitional Monitoring of Dynamic Inegrity Constraints
Database specification should include not only the static structure of a database system, but also its dynamic behaviour. In order to determine admissible sequences of states dynamic integrity constraints may be utilized. They give conditions on state transitions as well as long-term relations between database states in a descriptive manner. Complementarily, predefined transactions, i.e. basic ...
متن کاملA General Treatment of Dynamic Integrity Constraints
This paper introduces a general, set-theoretic model for expressing dynamic integrity constraints, i.e., integrity constraints on the state changes that are allowed in a given state space. In a managerial context, such dynamic integrity constraints can be seen as representations of ``real world'' constraints and business rules. This topic has important practical applications in many business ar...
متن کاملAn Architecture for Specification-Based Detection of Semantic Integrity Violations in Kernel Dynamic Data
The ability of intruders to hide their presence in compromised systems has surpassed the ability of the current generation of integrity monitors to detect them. Once in control of a system, intruders modify the state of constantly-changing dynamic kernel data structures to hide their processes and elevate their privileges. Current monitoring tools are limited to detecting changes in nominally s...
متن کاملA Framework for Knowledge Management and Automated Constraint Monitoring
This paper describes an approach called Dynamic Monitoring with Integrity Constraints (DynaMICs) that consists of a specification language for defining constraints and tools that permit automated instrumentation of constraints, runtime monitoring that minimizes performance degradation, and tracing. The goal is to capture domain and system knowledge as constraints and to use the constraints to m...
متن کاملMonitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals
Correct database behaviour in the course of time can be specified by requiring dynamic integrity constraints. These constraints can be expressed as temporal logic formulae which, however, usually are interpreted in infinite state sequences. Since in practice only a partial, finite prefix of an infinite sequence is known, notions of partial admissibility of finite sequences with respect to const...
متن کامل